<div id="col_right">
	<div class="col_right">
        <div class="col_right_padding">
			<?php
            if($theme->ColRightBorder > 0)
            { echo getBorderHTML($theme->ColRightBorder, 'top'); }  
            ?>
                
                
            <?php 
            if($theme->ColRightBorder > 0)
            { echo getBorderHTML($theme->ColRightBorder, 'bottom');  }
            ?>
        </div>
	</div>
</div>